to prove |z1z2| = |z1||z2|